logic n. 1.邏輯,理論學。 2.推理[方法];邏輯性,條理性。 3. 威力,壓力,強制(力)。 deductive [inductive] logic演繹[歸納]邏輯。 dialectical logic辯證邏輯。 formal logic形式邏輯。 a gangster logic強盜邏輯,惡徒的歪理[言行]。 mathematical logic數(shù)理邏輯。 pure logic純粹邏輯。 He is not governed by logic. 他沒有邏輯性。 That is not logic. 那不合邏輯。 the irresistible logic of facts 事實的不可抗拒的威力。 the logic of events [war] 事件[戰(zhàn)爭]的強制力。 His logic is shaky. 他的推理站不住腳。 chop logic 詭辯。
Difference from other algebraic structures which are introduced for some logic system , implication algebra is a abstraction of one logic connective , i . e . implicative operator , and other operators in it are all introduced by implicative operator . the main results of this paper is given as the following : 1 特別值得提出的是,與其它為研究邏輯系統(tǒng)而引入的代數(shù)結(jié)構(gòu)不同,蘊涵代數(shù)是對一個邏輯聯(lián)結(jié)詞,即蘊涵算子(蘊涵邏輯聯(lián)結(jié)詞)抽象而得到的,其它算子均是由蘊涵算子誘導而得到。